Assumption-Commitment Specifications and Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
ارائه چارچوبی برای ارزیابی عملکرد سیستم های مدیریت ایمنی و بهداشت شغلی با استفاده از روش های تصمیم گیری چند شاخصه
Background and aims: Recently, occupational health and safety management systems performance has been discussed. Performance evaluation of occupational health and safety management systems provides useful information on the development, implementation and results of systems. The aim of this study is development of a framework for evaluating the performance of occupational health and safety mana...
متن کاملDistributed system design with message sequence charts
The methodical mastery of interaction scenarios is a key factor for capturing and modeling system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) and variants thereof are well-accepted as a graphical description technique for interaction scenarios. MSCs emphasize the inter-component coordination aspect of typically partial system executions; this complements the us...
متن کاملThe hazard analysis and critical control point system in food safety.
The Hazard Analysis and Critical Control Point (HACCP) system is a preventive method of ensuring food safety. Its objectives are the identification of consumer safety hazards that can occur in the production line and the establishment of a control process to guarantee a safer product for the consumer; it is based on the identification of potential hazards to food safety and on measures aimed at...
متن کاملA Functional Rephrasing of the Assumption/Commitment Specification Style
The assumption/commitment (also called rely/guarantee) style has been advocated for the speciication of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition speciications of system components. It suggests the structuring of speciications into assumptions about the behavior of the component's environment and into commitments that are...
متن کاملA Functional Rephrasing of the Assumption Commitment Speci cation Style
The assumption commitment also called rely guarantee style has been advocated for the speci cation of interactive components of distri buted systems One of its motivations is to achieve modularity for state transition speci cations of system components It suggests the structuring of speci cations into assumptions about the behavior of the component s environment and into commitments that are fu...
متن کامل